Dp-finite fields I(B): Positive characteristic
نویسندگان
چکیده
We partially generalize the known results on dp-minimal fields to dp-finite fields. prove a dichotomy: if K is sufficiently saturated expansion of field, then either has finite Morley rank or non-trivial Aut(K/A)-invariant valuation ring for some small set A. In positive characteristic case, we can even obtain henselian ring. Using this, classify pure
منابع مشابه
HYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملUndecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.
متن کاملUndecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.
متن کاملResonance varieties over fields of positive characteristic
Let A be a hyperplane arrangement, and k a field of arbitrary characteristic. We show that the projective degree-one resonance variety R(A, k) of A over k is ruled by lines, and identify the underlying algebraic line complex L(A, k) in the Grassmannian G(2, kn), n = |A|. L(A, k) is a union of linear line complexes corresponding to the neighborly partitions of subarrangements of A. Each linear l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2021
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2021.102949